en

Partially skolemise

ru

Übersetzung von "partially skolemise" ins Russisch

partially skolemise
частично сколемизировать
Sometimes it is useful to partially skolemise a formula.
Иногда бывает полезно частично сколемизировать формулу.